perm filename EX1.ANS[1,JRA]1 blob sn#005891 filedate 1972-09-28 generic text, type T, neo UTF8
00100	∀(X1 X2)(P(X1 X2) ∧P(X2 X3) ⊃ G(X1 X3));
00200	;
00300	∀(X2)∃(X1)P(X1 X2);
00400	;
00500	∃(X1 X2)G(X1 X2);
00600	;